| Definitions | t  T, Id,  x:A. B(x), loc(e), f(a), tag(k), lnk(k), act(k), islocal(k), isrcv(k), kindcase(k; a.f(a); l,t.g(l;t)), x:A  B(x), left + right, Knd, x:A  B(x), P   Q, s = t, Type, if b then t else f fi , P  Q, es_info(es), es-kind(es; e), es-act(es; e), loc(e), es-V(es), es-tag(es; e), es-lnk(es; e), es-M(es), es_val(es), es-acttype(es; e), es-rcvtype(es; e), es-isrcv(es; e), es-val(es; e), es-valtype(es; e), es-E(es), event_system{i:l}, kind(e) |